A general framework for validated continuation of periodic orbits in systems of polynomial ODEs

In this paper a parametrized Newton-Kantorovich approach is applied to continuation of periodic orbits in arbitrary polynomial vector fields. This allows us rigorously validate numerically computed branches solutions. We derive the estimates full generality and present sample proofs obtained using an implementation Matlab. The presented applicable any field order dimension. A variety examples illustrate efficacy method.